Main entry: group, mathematical group
Definition: a set that is closed, associative, has an identity element and every element has an inverse